ABSNTX.[BOO,JMC]	McCarthy-Painter compiler
ABSNTX.PUB[BOO,JMC]	PUB stuff for compiling abstract syntax
BKMAC.PUB[BOO,JMC]	PUB text responses and macro definitions
BOOK.DIR[BOO,JMC]	directory of chapters and ideas
BOOK.XGP[BOO,JMC]	Sept 79 version of book
BOOKEM.CMD[BOO,JMC]	E macros for finding in a collection of files
COMPIL.[BOO,JMC]	compiling
COMPIL.PUB[BOO,JMC]	for pubbing COMPIL separately
COMPUT.[BOO,JMC]	neval and computability
COMPUT.PUB[BOO,JMC]	for pubbing COMPUT separately
DIRMAC.CMD[BOO,JMC]	more macros
discus.[boo,jmc]	issues for discussion with Carolyn
ERRATA.F79[BOO,JMC]	a few corrected errors
EXTEND.[BOO,JMC]	purifying programs and derived programs and unfilled
			promises
EXTEND.PUB[BOO,JMC]
GRAPH.PUB[BOO,JMC]	finding components of a graph (not clear how it fits)
GRAPH.XGP[BOO,JMC]
IMPURE.[BOO,JMC]	sequential programs, macros, re-entrant list structure
IMPURE.PUB[BOO,JMC]
INDEX.[BOO,JMC]		list of terms for index
LAMBDA.[BOO,JMC]	jmc draft on λ-calculus for section on computability
			now included in COMPUT
LCOMAP.[BOO,JMC]	maclisp version of LCOM0
LCOMAP.PUB[BOO,JMC]
LOC.BOO[BOO,JMC]	locations of files on dump tapes
LSPBIB.[BOO,JMC]	bibliography
LSPBIB.PUB[BOO,JMC]
LSPDC1.PUB[BOO,JMC]	I think this is the grand pubbing files
LSPDOC.PUB[BOO,JMC]	Another grand PUBber
MACHIN.[BOO,JMC]	LISP in the machine - how lisp works
MACHIN.PUB[BOO,JMC]
MAIL.[BOO,JMC]		requests for the book
MKCHAP.DO[BOO,JMC]	DO file for pubbing a chapter
MKDIR.DO[BOO,JMC]	DO file for making a directory of these files
patter.[boo,jmc]	pattern matching programs
PREFAC.[BOO,JMC]	introduction
PROVEX.[BOO,JMC]	examples and exercises for proving, samefring, partition
PROVEX.PUB[BOO,JMC]
PROVIN.[BOO,JMC]	Chapter 3 on proving recursive function programs
PROVIN.PUB[BOO,JMC]
PURGE.BOO[BOO,JMC]	list of files that got zapped
READIN.[BOO,JMC]	chapter 1
READIN.PUB[BOO,JMC]
REQ.TEX[BOO,JMC]	letter of regret to requesters
SEARCH.[BOO,JMC]	search programs. Much dissatisfaction
SEARCH.PUB[BOO,JMC]
WRITIN.[BOO,JMC]	includes sack S-expression ackermann function
WRITIN.PUB[BOO,JMC]
XPAGE.DO[BOO,JMC]	mysterious DO file

BOOK[F78,JMC]			Goedel numbers for book
QUINE[S76,JMC] 26-Apr-76	Given termination tester,give counterexample.
ORDINA[E78,JMC] 29-Jul-78	Induction on rank and the transfinite ordinal numbers
ORDER.PRB[W79,JMC] 01-Jan-79	Programs and proofs about ordinals less than ε0.